1. An Attribute grammar for the semantic analysis of ADA
Author: J. Uhl [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
73
.
A35
J845
1982


2. An Attribute grammar for the semantic analysis of ADA
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics
Classification :
QA
76
.
73
.
A35
.
A87
1982


3. Cognitive modeling and verbal semantics :
Author: by Andrea C. Schalley
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cognitive grammar,Programming languages (Electronic computers)-- Semantics,Semantics-- Mathematical models,UML (Computer science)

4. Complementary definitions of programming language semantics
Author: Donahue, James Edward
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Pascal )Computer program language(,، Semantics
Classification :
QA
76
.
7
.
D66


5. Complementary definitions of programming language semantics
Author: / James E. Donahue
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Pascal (Computer program language),Semantics
Classification :
QA
76
.
7
.
D66


6. Computational Semantics with Functional Programming
Author: / Jan Van Eijck and Christina Unger
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامهنویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
Classification :
QA76
,.
7
.
E43
2010


7. Computational semantics with functional programming
Author: \ Jan van Eijck and Christina Unger.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر
Classification :
QA
76
.
7
.
E35C6
2010
E-Book
,


8. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002
Author: sponsored by ACM Special Interest Group on Programming Languages )SIGPLAN(; supported by : the University of Aizu
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
P45
2002


9. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics
Classification :
QA
76
.
9
.
D35
.
I351
1995


10. Domain-theoretic foundations of functional programming
Author: / Thomas Streicher
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
Classification :
QA
76
.
7
.
S818
2006


11. Fairness
Author: Nissim Francez
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F72
1986


12. Formal syntax and semantics of Java
Author: Jim Alves-Foss )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
1523


13. Formal syntax and semantics of Java
Author: / Jim Alves-Foss (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Java (Computer program language),Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
73
,.
J38
,
F67
,
1999


14. Formal syntax and semantics of Java
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;

15. Initial computability, algebraic specifications, and partial algebras
Author: / by Horst Reichel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
Classification :
QA
76
.
9
.
M35R45
1987


16. Introduction to natural language processing
Author: Harris, Mary Dee
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Interactive computer system,Semantics ، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
I58
H37
1985


17. Introduction to the theory of programming languages
Author: Meyer, Bertrand
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Progamming languages )Electronic computer(,Semantics ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
M49
1991


18. Introduction to the theory of programming languages
Author: / Bertrand Meyer
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics
Classification :
QA76
.
7
.
M49
1988


19. Journal on data semantics VII
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Database management. ; Programming languages (Electronic computers) ; Semantics. ; Semantic integration (Computer systems) ; Semantic networks (Information theory) ;

20. Language, logic, and computation :
Author: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
9
.
L63

